Gawanmeh, Amjad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC) - Tangier, Morocco (2019.6.24-2019.6.28)] 2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC) - DASS-CARE: A Decentralized, Accessible, Scalable, and Secure Healthcare Framework using Blockchain

Al-Karaki, Jamal N., Gawanmeh, Amjad, Ayache, Meryeme, Mashaleh, Ashraf

Year:

2019

Language:

english

File:

PDF, 1.28 MB

english, 2019

2

Evaluation of MAC Protocols for Vital Sign Monitoring within Smart Home Environment

Gawanmeh, Amjad, Mohammadi-Koushki, Negar, Mansoor, Wathiq, Al-Ahmad, Hussain, Alomari, Ahmad

Journal:

Arabian Journal for Science and Engineering

Year:

2020

File:

PDF, 1000 KB

2020

3

A framework for the verification of an ECG biosensor algorithm

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud, Ismail, Mohammed

Journal:

Analog Integrated Circuits and Signal Processing

Year:

2017

Language:

english

File:

PDF, 4.32 MB

english, 2017

4

[IEEE 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Kansas City, MO, USA (2018.5.20-2018.5.24)] 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Taxonomy Analysis of Security Aspects in Cyber Physical Systems Applications

Gawanmeh, Amjad, Alomari, Ahmad

Year:

2018

Language:

english

File:

PDF, 494 KB

english, 2018

5

A Lightweight Cyber Security Framework with Context-Awareness for Pervasive Computing Environments

Al-Muhtadi, Jalal, Saleem, Kashif, Al-Rabiaah, Sumayah, Imran, Muhammad, Gawanmeh, Amjad, Rodrigues, Joel J.P.C.

Journal:

Sustainable Cities and Society

Year:

2020

File:

PDF, 3.96 MB

2020

6

[IEEE 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Vienna, Austria (2014.11.3-2014.11.7)] 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Validating connected vehicles architecture

Gawanmeh, Amjad, Alwadi, Moh'd, Ghawanmeh, Ashraf

Year:

2014

Language:

english

File:

PDF, 285 KB

english, 2014

7

[IEEE 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Boston, MA, USA (2015.10.14-2015.10.17)] 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Formalizing the movement of microparticles in a continuous flow microfluidic device for field flow fractionation

Gawanmeh, Amjad, Alazzam, Anas, Mathew, Bobby, Abutayeh, Mohammad, Sung, Hyung Jin

Year:

2015

Language:

english

File:

PDF, 146 KB

english, 2015

8

[IEEE 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - Paris, France (2017.5.21-2017.5.25)] 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - Lightweight security protocol for health monitoring in Ambient Assisted Living environment

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2017

Language:

english

File:

PDF, 617 KB

english, 2017

9

GoSafe: On the practical characterization of the overall security posture of an organization information system using smart auditing and ranking

Al-Karaki, Jamal N., Gawanmeh, Amjad, El-Yassami, Sanaa

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2020

File:

PDF, 38 KB

2020

10

[IEEE 2008 33rd IEEE Conference on Local Computer Networks (LCN 2008) - Montreal, QB, Canada (2008.10.14-2008.10.17)] 2008 33rd IEEE Conference on Local Computer Networks (LCN) - Event-B based invariant checking of secrecy in group key protocols

Gawanmeh, Amjad, Tahar, Sofiene, Ayed, Leila Jemni Ben

Year:

2008

Language:

english

File:

PDF, 401 KB

english, 2008

11

[IEEE 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom 2014) - Natal (2014.10.15-2014.10.18)] 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom) - Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM

Pervez, Usman, Hasan, Osman, Latif, Khalid, Tahar, Sofiene, Gawanmeh, Amjad, Hamdi, Mohamed Salah

Year:

2014

Language:

english

File:

PDF, 211 KB

english, 2014

12

[IEEE 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Vienna, Austria (2014.11.3-2014.11.7)] 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Understanding traffic: Towards a smart traffic control architecture

Gawanmeh, Amjad, Alwadi, Moh'd, Ghawanmeh, Ashraf

Year:

2014

Language:

english

File:

PDF, 292 KB

english, 2014

13

[IEEE 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Vienna, Austria (2014.11.3-2014.11.7)] 2014 International Conference on Connected Vehicles and Expo (ICCVE) - Optimizing lifetime of homogeneous wireless sensor networks for vehicular monitoring

Gawanmeh, Amjad

Year:

2014

Language:

english

File:

PDF, 239 KB

english, 2014

14

[IEEE 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE) - Washington, DC, USA (2016.6.27-2016.6.29)] 2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE) - Open Issues in Reliability, Safety, and Efficiency of Connected Health

Gawanmeh, Amjad

Year:

2016

Language:

english

File:

PDF, 351 KB

english, 2016

15

[IEEE 2015 International Conference on Information and Communication Technology Research (ICTRC) - Abu Dhabi, United Arab Emirates (2015.5.17-2015.5.19)] 2015 International Conference on Information and Communication Technology Research (ICTRC) - Formal validation of QRS wave within ECG

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2015

Language:

english

File:

PDF, 706 KB

english, 2015

16

[IEEE 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Boston, MA, USA (2015.10.14-2015.10.17)] 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Reliability analysis of healthcare information systems: State of the art and future directions

Gawanmeh, Amjad, Al-Hamadi, Hussam, Al-Qutayri, Mahmoud, Shiu-Kai Chin,, Saleem, Kashif

Year:

2015

Language:

english

File:

PDF, 102 KB

english, 2015

17

[IEEE 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Boston, MA, USA (2015.10.14-2015.10.17)] 2015 17th International Conference on E-health Networking, Application & Services (HealthCom) - Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM

Pervez, Usman, Mahmood, Asiah, Hasan, Osman, Latif, Khalid, Gawanmeh, Amjad

Year:

2015

Language:

english

File:

PDF, 662 KB

english, 2015

18

[IEEE 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Kansas City, MO, USA (2018.5.20-2018.5.24)] 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Optimised Sensor Based Smart System for Efficient Monitoring of Grain Storage

Parvin, Sazia, Gawanmeh, Amjad, Venkatraman, Sitalakshmi

Year:

2018

Language:

english

File:

PDF, 1.29 MB

english, 2018

19

Design and Verification of a Blood Cell Separation Microfluidic Device

Gawanmeh, Amjad, AlAzzam, Anas, Mathew, Bobby

Journal:

International Journal of Online Engineering (iJOE)

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

20

[IEEE 2019 IEEE International Systems Conference (SysCon) - Orlando, FL, USA (2019.4.8-2019.4.11)] 2019 IEEE International Systems Conference (SysCon) - A Distributed Algorithm with Optimum Communication for Cyber Physical Systems: Multi-tank Process Case Study

Gawanmeh, Amjad, Roy, Swapnoneel, April, Alain

Year:

2019

Language:

english

File:

PDF, 792 KB

english, 2019

21

[IEEE 2012 IEEE 10th International New Circuits and Systems Conference (NEWCAS) - Montreal, QC, Canada (2012.06.17-2012.06.20)] 10th IEEE International NEWCAS Conference - Formal error analysis and verification of a frequency domain equalizer

Souari, Anis, Tahar, Sofiene, Gawanmeh, Amjad

Year:

2012

Language:

english

File:

PDF, 259 KB

english, 2012

22

[IEEE 2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Montreal, QC (2012.4.29-2012.5.2)] 2012 25th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE) - Novel algorithm for detecting conflicts in firewall rules

Gawanmeh, Amjad, Tahar, S.

Year:

2012

Language:

english

File:

PDF, 530 KB

english, 2012

23

A Novel Protocol for Security of Location Based Services in Multi-agent Systems

Al-Hamadi, Hussam, Yeun, Chan Yeob, Zemerly, Mohamed Jamal, Al-Qutayri, Mahmoud, Gawanmeh, Amjad, Al-Hammadi, Yousof, Damiani, Ernesto

Journal:

Wireless Personal Communications

Year:

2019

File:

PDF, 2.04 MB

2019

24

[IEEE 2019 IEEE Fifth International Conference on Big Data Computing Service and Applications (BigDataService) - Newark, CA, USA (2019.4.4-2019.4.9)] 2019 IEEE Fifth International Conference on Big Data Computing Service and Applications (BigDataService) - A Framework for Integrating Big Data Security Into Agricultural Supply Chain

Gawanmeh, Amjad, Parvin, Sazia, Venkatraman, Sitalakshmi, de Souza-Daw, Tony, Kang, James, Kaspi, Samuel, Jackson, Joanna

Year:

2019

Language:

english

File:

PDF, 339 KB

english, 2019

25

[IEEE 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE) - Toronto, ON, Canada (2014.5.4-2014.5.7)] 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE) - Performance evaluation of time and frequency domain equalizers

Souari, Anis, Ammari, Mohamed L., Gawanmeh, Amjad, Tahar, Sofiene

Year:

2014

Language:

english

File:

PDF, 10.08 MB

english, 2014

26

[IEEE 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS) - Abu Dhabi, United Arab Emirates (2016.10.16-2016.10.19)] 2016 IEEE 59th International Midwest Symposium on Circuits and Systems (MWSCAS) - Assertion-based verification technique for ECG bio-sensor algorithms

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2016

Language:

english

File:

PDF, 700 KB

english, 2016

27

Lightweight Security Protocol for ECG Bio-Sensors

Al-Hamadi, Hussam, Gawanmeh, Amjad, Baek, Joonsang, Al-Qutayri, Mahmoud

Journal:

Wireless Personal Communications

Year:

2017

Language:

english

File:

PDF, 2.09 MB

english, 2017

28

Design and verification of a frequency domain equalizer

Souari, Anis, Gawanmeh, Amjad, Tahar, Sofiène, Lassaad Ammari, Mohamed

Journal:

Microelectronics Journal

Year:

2014

Language:

english

File:

PDF, 1.82 MB

english, 2014

29

[IEEE 2014 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) - Valencia, Spain (2014.6.1-2014.6.4)] IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) - A verification methodology for a wireless body sensor network functionality

Hamadi, Hussam Al, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

30

[IEEE 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Dubai, United Arab Emirates (2016.11.7-2016.11.10)] 2016 IEEE 41st Conference on Local Computer Networks Workshops (LCN Workshops) - Simulation Framework for a Security Protocol for Wireless Body Sensor Networks

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2016

Language:

english

File:

PDF, 673 KB

english, 2016

31

[IEEE 2018 IEEE 43rd Conference on Local Computer Networks Workshops (LCN Workshops) - Chicago, IL, USA (2018.10.1-2018.10.4)] 2018 IEEE 43rd Conference on Local Computer Networks Workshops (LCN Workshops) - Analysis of MAC Protocols for Real-Time Monitoring of Heart and Respiratory Signals

Mohammadi-Koushki, Negar, Gawanmeh, Amjad

Year:

2018

Language:

english

File:

PDF, 8 KB

english, 2018

32

[IEEE 2011 International Conference on Innovations in Information Technology (IIT) - Abu Dhabi, United Arab Emirates (2011.04.25-2011.04.27)] 2011 International Conference on Innovations in Information Technology - First-order theorem proving based verification of the PCI-X bus architecture

Gawanmeh, Amjad

Year:

2011

Language:

english

File:

PDF, 308 KB

english, 2011

33

[IEEE 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Kansas City, MO, USA (2018.5.20-2018.5.24)] 2018 IEEE International Conference on Communications Workshops (ICC Workshops) - Sensing-as-a-Service Decentralized Data Access Control Mechanism for Cyber Physical Systems

C., Pavan Kumar, Gawanmeh, Amjad, R., Selvakumar

Year:

2018

Language:

english

File:

PDF, 157 KB

english, 2018

34

[IEEE 2012 6th Asia Modelling Symposium (AMS 2012) - Bali, Indonesia (2012.05.29-2012.05.31)] 2012 Sixth Asia Modelling Symposium - A Demand Side Management Traffic Shaping and Scheduling Algorithm

AlAdwani, Ahmed M., Gawanmeh, Amjad, Nicolas, Sebastien

Year:

2012

Language:

english

File:

PDF, 288 KB

english, 2012

35

A Genetic Algorithmic Method for Scheduling Optimization in Cloud Computing Services

Gawanmeh, Amjad, Parvin, Sazia, Alwadi, Ali

Journal:

Arabian Journal for Science and Engineering

Year:

2017

Language:

english

File:

PDF, 700 KB

english, 2017

36

Reinforcement Learning based Methodology for Energy-efficient Resource Allocation in Cloud Data Centers

Thein, Thandar, Myo, Myint Myat, Parvin, Sazia, Gawanmeh, Amjad

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

37

Collision-Prevention Conditions for Wireless Personal Area Networks

Iraqi, Youssef, Rachidi, Tajjeddine, Gawanmeh, Amjad

Journal:

IEEE Networking Letters

Year:

2018

Language:

english

File:

PDF, 341 KB

english, 2018

38

[IEEE 2015 10th International Design & Test Symposium (IDT) - Dead Sea, Amman, Jordan (2015.12.14-2015.12.16)] 2015 10th International Design & Test Symposium (IDT) - An automatic ECG generator for testing and evaluating ECG sensor algorithms

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2015

Language:

english

File:

PDF, 508 KB

english, 2015

39

[IEEE 2018 9th International Conference on Information and Communication Systems (ICICS) - Irbid (2018.4.3-2018.4.5)] 2018 9th International Conference on Information and Communication Systems (ICICS) - AC electrical field for the isolation of cancer cells

Waheed1, Waqas, Alazzam, Anas, Abu-Nada, Eiyad, Gawanmeh, Amjad, Al-Khaleel, Mohammad

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

40

[IEEE 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom 2014) - Natal (2014.10.15-2014.10.18)] 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom) - Formalizing electrocardiogram (ECG) signal behavior in event-B

Al-Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Year:

2014

Language:

english

File:

PDF, 495 KB

english, 2014

41

Formal Analysis of Collision Prevention of Two Wireless Personal Area Networks

Gawanmeh, Amjad, Iraqi, Youssef

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 198 KB

english, 2016

42

[IEEE 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - Paris, France (2017.5.21-2017.5.25)] 2017 IEEE International Conference on Communications Workshops (ICC Workshops) - Efficient low cost supervisory system for Internet of Things enabled smart home

Kamal, Md.Sarwar, Parvin, Sazia, Saleem, Kashif, Al-Hamadi, Hussam, Gawanmeh, Amjad

Year:

2017

Language:

english

File:

PDF, 188 KB

english, 2017

43

[IEEE 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Atlanta, GA, USA (2017.6.5-2017.6.8)] 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Formal Verification of Control Strategies for a Cyber Physical System

Gawanmeh, Amjad, Alwadi, Ali, Parvin, Sazia

Year:

2017

Language:

english

File:

PDF, 246 KB

english, 2017

44

Probabilistic analysis of security attacks in cloud environment using hidden Markov models

Al-Karaki, Jamal N., Gawanmeh, Amjad, Almalkawi, Islam T., Alfandi, Omar

Journal:

Transactions on Emerging Telecommunications Technologies

Year:

2020

File:

PDF, 1.21 MB

2020

45

Dielectrophoresis Multipath Focusing of Microparticles through Perforated Electrodes in Microfluidic Channels

Alazzam, Anas, Al-Khaleel, Mohammad, Riahi, Mohamed Kamel, Mathew, Bobby, Gawanmeh, Amjad, Nerguizian, Vahé

Journal:

Biosensors (Elsevier)

Year:

2019

Language:

english

File:

PDF, 2.87 MB

english, 2019

46

[IEEE 2014 Eleventh International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2014.04.7-2014.04.9)] 2014 11th International Conference on Information Technology: New Generations - Automatic Verification of Security Policies in Firewalls with Dynamic Rule Sequence

Gawanmeh, Amjad

Year:

2014

Language:

english

File:

PDF, 494 KB

english, 2014

47

Embedding and Verification of ZigBee Protocol Stack in Event-B

Journal:

Procedia Computer Science

Year:

2011

Language:

english

File:

PDF, 217 KB

english, 2011

48

[IEEE 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Atlanta, GA, USA (2017.6.5-2017.6.8)] 2017 IEEE 37th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Securing Big Data Efficiently through Microaggregation Technique

Tonni, Shakila Mahjabin, Rahman, Mohammad Zahidur, Parvin, Sazia, Gawanmeh, Amjad

Year:

2017

Language:

english

File:

PDF, 768 KB

english, 2017

49

[IEEE 2006 6th International Workshop on System on Chip for Real Time Applications - Cairo, Egypt (2006.12.27-2006.12.29)] 2006 6th International Workshop on System on Chip for Real Time Applications - Embedding and Verification of PSL using ASM

Gawanmeh, Amjad, Tahar, Sofiene, Habibi, Ali

Year:

2006

Language:

english

File:

PDF, 1.07 MB

english, 2006

50

Guided Test Case Generation for Enhanced ECG Bio-Sensors Functional Verification

Al Hamadi, Hussam, Gawanmeh, Amjad, Al-Qutayri, Mahmoud

Journal:

International Journal of E-Health and Medical Communications

Year:

2017

Language:

english

File:

PDF, 1.74 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски